A finite model property for RMImin

It is proved that the variety of relevant disjunction lattices has the finite embeddability property. It follows that Avron's relevance logic RMI _min has a strong form of the finite model property, so it has a solvable deducibility problem. This strengthens Avron's result that RMI _min is decidable. (© 2006 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

全光纤反射式马赫曾德尔干涉型多波长滤波器的研究

对反射式的马赫－曾德尔干涉型多波长滤波器的性能作了较详细的研究，得出了两个耦合器的分光比和两臂的臂长差对其输出谱线的影响，结论对设计制作不同性能指标的该型多波长滤波器具有重要的参考价值。实验上用光纤熔融拉锥法制作了该种器件，实验结果与理论相符合。     

一种新型可调谐锁模光纤激光器

利用法布里-珀罗腔的激光二极管作为调制器件，实现环形腔光纤激光器的主动锁模。并利用法布里-珀罗腔的激光二极管的多纵模特性，把激光二极管当作一梳状滤波器，通过偏振控制器来调整入射到激光二极管内光的偏振态，同时均衡腔内增益，得到波长大范围可调谐的锁模激光，其脉冲宽度约为48ps，脉冲重复速率2GHz。     

Fuzzy convex sets in median algebras

The fuzzification of convex sets in median algebras is considered, and some of their properties are investigated. A characterization of finite valued fuzzy convex set is given.     

Active long pulse shaping technique of pulsed CO2 laser using multi-pulse discharge control

We describe the pulse forming of pulsed CO₂ laser using multi-pulse superposition technique. Various pulse shapes, high duty cycle pulse forming network (PFN) are constructed by time sequence. This study shows a technology that makes it possible to make various long pulse shapes by activating SCRs of three PFN modules consecutively at a desirable delay time with the aid of a PIC one-chip microprocessor. The power supply for this experiment consists of three PFN modules. Each PFN module uses a capacitor, a pulse forming inductor, a SCR, a high voltage pulse transformer, and a bridge rectifier on each transformer secondary. The PFN modules operate at low voltage by driving the primary of HV pulse transformer. The secondary of the transformer has a full-wave rectifier, which passes the pulse energy to the load in a continuous sequence.We investigated various long pulse shapes as different trigger time intervals of SCRs among three PFN modules. As a result, we could obtain laser beam with various pulse shapes and durations from about 250 to 1000 μs.     

U：CaF2晶体的分凝特性与光谱性质

应用TGT法生长了直径为75mm的U：CaF2晶体，宏观上透明完整.应用公式K0=Cs/Cl计算了U在CaF2晶体中的分凝系数等于0.53.应用溶质分布一般公式Cs=K0C0(1-g)K0-1，计算U的浓度分布与测量值，数值符合说明晶体生长过程接近平衡状态.分析不同条件下生长的U: CaF2晶体的晶胞参数和吸收光谱，结果表明生长气氛决定U的价态及电荷补偿机理：无PbF2存在的条件下，U为+4价，晶体呈绿色；PbF2的加入起到氟化去氧作用，U倾向于以离子半径最接近于Ca2+的U3+存在，晶体呈红色.从晶体生长开始到结束的部位，U3+:CaF2晶体吸收光谱的峰位不变，峰强呈现与U浓度相同的增加趋势.U3+:CaF2晶体外层厚约5mm处呈黄色，含有U3+和U2+的混合价态离子，其原理是石墨坩埚的还原作用通过单质铅，使部分的U3+进一步还原成了U2+. 关键词： 铀 氟化钙晶体 分凝系数 晶胞参数     

Some new results on superimposed codes

A (w,r) cover‐free family is a family of subsets of a finite set such that no intersection of w members of the family is covered by a union of r others. A (w,r) superimposed code is the incidence matrix of such a family. Such a family also arises in cryptography as the concept of key distribution pattern. In the present paper, we give some new results on superimposed codes. First we construct superimposed codes from super‐simple designs which give us results better than superimposed codes constructed by other known methods. Next we prove the uniqueness of the (1,2) superimposed code of size 9 × 12, the (2,2) superimposed code of size 14 × 8, and the (2,3) superimposed code of size 30 × 10. Finally, we improve numerical values of upper bounds for the asymptotic rate of some (w,r) superimposed codes. © 2004 Wiley Periodicals, Inc.     

Efficient microwave induced direct α-halogenation of carbonyl compounds

A novel and direct method for the synthesis of α-halocarbonyl compounds using sequential treatment of carbonyl compounds with [hydroxy(tosyloxy)iodo]benzene followed by magnesium halides under solvent-free microwave irradiation conditions is described.